how to slice strings into characters